English translation for "formule propositionnelle"

propositional formula

Example Sentences:

	1.	An arbitrary propositional formula may have a very complicated structure. Une formule propositionnelle arbitraire peut avoir une structure très compliquée.
	2.	The simplest type of propositional formula is a propositional variable. Le type le plus simple de formule propositionnelle est une variable propositionnelle.
	3.	Any propositional formula can be reduced to its conjunctive or disjunctive normal form. Toute formule propositionnelle peut être réduite à sa forme normale conjonctive ou disjonctive.
	4.	If the values of all variables in a propositional formula are given, it determines a unique truth value. Si les valeurs de toutes les variables propositionnelles dans une formule propositionnelle sont données, une unique valeur de vérité peut être déterminée.
	5.	In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui possède une valeur de vérité.
	6.	For example, in a propositional formula, each propositional variable may be interpreted as a concrete proposition, so that the overall formula expresses a relationship between these propositions. Par exemple, dans une formule propositionnelle, chaque variable propositionnelle peut être interprétée comme une proposition concrète, de sorte que la formule globale exprime une relation entre ces propositions.
	7.	In general the abbreviations "T" and "F" stand for the evaluations TRUTH and FALSITY applied to the variables in the propositional formula (e.g. the assertion: "That cow is blue" will have the truth-value "T" for Truth or "F" for Falsity, as the case may be.). En général, les abréviations «V» et «F» représentent l'évaluation des variables de la formule propositionnelle (par exemple, l'affirmation: « Cette vache est bleue » aura la valeur de vérité « V » pour Vrai ou « F » pour Faux, dans le cas contraire.)
	8.	A propositional formula is constructed from simple propositions, such as "five is greater than three" or propositional variables such as P and Q, using connectives such as NOT, AND, OR, or IMPLIES; for example: (P AND NOT Q) IMPLIES (P OR Q). Une formule propositionnelle est construite à partir de propositions simples, telles que « cinq est supérieur à trois », ou de variables propositionnelles telles que P et Q, en utilisant des connecteurs logiques tels que NON, ET, OU et IMPLIQUE; par exemple: (P ET NON Q) IMPLIQUE (P OU Q).
	9.	Propositions that are simple (atomic), symbolic expressions are often denoted by variables named a, b, or A, B, etc. A propositional variable is intended to represent an atomic proposition (assertion), such as "It is Saturday" = a (here the symbol = means " … is assigned the variable named …") or "I only go to the movies on Monday" = b. Les propositions qui sont simples (atomique) telles que les expressions symboliques sont souvent désignées par des variables nommées a, b, ou A, B, etc. Une variable propositionnelle est destinée à représenter une proposition atomique (assertion), telle que « on est samedi » = a (ici le symbole = signifie « ... est attribué la variable nommée ... ») ou « Je ne vais au cinéma que le lundi » = b. En logique propositionnelle classique l’évaluation d'une formule propositionnelle commence par l'affectation d'une valeur de vérité à chaque variable.

Similar Words：

"formule logique" English translation, "formule magique" English translation, "formule magique (suisse)" English translation, "formule moléculaire" English translation, "formule palmer audi" English translation, "formule quadratique" English translation, "formule rand" English translation, "formule renault" English translation, "formule semi-développée" English translation